1. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
2. Programming for Software Sharing
پدیدآورنده : edited by D. T. Muxworthy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Science.,Programming Languages, Compilers, Interpreters.,Software Engineering/Programming and Operating Systems.
رده :
QA76
.
6
E358
1983
3. Systems programming in Unix/Linux /
پدیدآورنده : K.C. Wang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)
رده :
QA76
.
76
.
O63
W36
2018
